Indução De Ciclicidade Em Um Programa De Iatf